higher-order predicate logic
[数] 高阶谓词逻辑
热门查询
- incisiveness n. 敏锐，深刻
- tearoom n. 茶室
- efficiency n. 效率；效能；功效
- deviousness n. 迂回；曲折
- transcribed 转录
- Bootle n. 布特尔（英国英格兰西北部自治市）
- shiftiness 奸诈
- non adv. 非，不 n. 投反对票的人，反对票 n. (Non)人名；(柬)嫩；(俄)诺恩
- title track n. 【乐】专辑同名主打歌 [网络] 指与专辑同名的单；主打曲目；专辑同名歌曲
- scrutiny n. 详细审查；监视；细看；选票复查
- know vt. 知道；认识；懂得 vi. 了解；熟悉；确信
- como n. 科摩（意大利北部城市）
- Bertrand n. 伯特兰（男子名）
- horizontality n. 水平状态
- investigated v. 研究（investigate的过去分词）；调查 adj. 研究的；调查的
- Esme abbr. excited state mass energy conversion 受激态质能转换
- infelicity n. 不幸；不适当；不吉利（复数infelicities）
- accusingly adv. 责难地；以谴责的态度
- Odell [人名] [英格兰人姓氏] 奥德尔住所名称，来源于古英语，含义是“树林+山”(wood+hill); [地名] [英国、英国] 奥德尔
- baja n. 巴哈（人名）；包姚（匈牙利城市）
考试词汇表
- thrust deflector
- thrust deflexion
- thrust deviation
- thrust direction
- thrust eccentric
- thrust equalizer
- thrust horseshoe
- thrust increment
- thrust indicator
- thrust load(ing)
- thrust or thrill
- thrust reduction
- thrust regulator
- thrust reversing
- thrust roof fall
- thrust structure
- thrust to weight
- thrust type seal
- thrust vectoring
- thrust-augmented
